GitHub Actions for Lean4
Lean 4
の成果物をちゃんと
GitHub Actions
でチェックしたいとき，
Mathlib
をちゃんとキャッシュしないととんでもないことになる．
FormalizedFormalLogic/Foundation
に対して追加したこのファイルを参考にしてほしい．
https://github.com/iehality/lean4-logic/blob/ab047c4b1167c9459eecf3cc341c09c9f3503cea/.github/workflows/ci.yml